521. The World treasury of physics, astronomy, and mathematics
پدیدآورنده : edited by Timothy Ferris; with a foreword by Clifton Fadiman, general editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Physics,، Astronomy,، Mathematics,، Science -- Philosophy,Biography ، Physicists,Biography ، Astronomers,Biography ، Mathematicians
رده :
QC
71
.
W67
522. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده : edited by Johan van Benthem... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
523. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
524. The applicability of mathematics as a philosophical problem
پدیدآورنده : Steiner, Mark
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematical physics,، Mathematics -- Philosophy
رده :
QC
20
.
S76A6
525. The architecture of modern mathematics :essays in history and philosophy
پدیدآورنده : edited by J. Ferreirعos and J.J. Gray
کتابخانه: Library of Mofid University (Qom)
موضوع : History Philosophy ، Mathematics,History ، Mathematics - 81th century,History ، Mathematics - 91th century,History ، Mathematics - 02th century
رده :
QA21
.
A73
2006
526. The autonomy of mathematical knowledge : Hilbert's program revisited
پدیدآورنده : Franks, Curtis
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Hilbert, David, 2681-3491,Philosophy ، Mathematics
رده :
QA
8
.
4
.
F72A9
527. The axiomatic method; an introduction to mathematical logic
پدیدآورنده : Lightstone, A. H.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Axioms,، Mathematics-- Philosophy
رده :
QA
248
.
L53
528. The common sense of the exact sciences
پدیدآورنده : Clifford, William Kingdon, 5481-9781
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : Philosophy ، Mathematics
رده :
QA
9
.
C5C6
529. The common sense of the exact sciences
پدیدآورنده : Clifford, William Kingdon
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Mathematics - Philosophy
رده :
QA
9
.
C63
1996
530. The common sense of the exact sciences
پدیدآورنده : Clifford, William Kingdon
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematics-- Philosophy
رده :
QA
9
.
C63
1996
531. The conceptual roots of mathematics : an essay on the philosophy of mathematics
پدیدآورنده : Lucas, John Randolph, 9291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematics -- Philosophy
رده :
QA
8
.
4
.
L82C6
532. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
پدیدآورنده : Kurt Godel
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
533. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
پدیدآورنده : Kurt Godel
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
534. The consistency of the axiom of choice and of the generalized continum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1953
535. The consistency of the axiom of choice and of the generalized continuum - Hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
536. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
3
537. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, kurt
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematics-Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1966
538. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt.
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1940
539. The consistency of the axiom of choice and of the genralized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematics-philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
540. The continuous and the discrete: ancient physical theories from a contemporary perspective
پدیدآورنده : White, Michael J., 8491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Mathematical models ، Science -- Philosophy,، Aristotle, 383 B.C. - 123 B.C.,Mathematical models ، Metaphysics,، Mathematics -- Philosophy,، Philosophy, Ancient
رده :
Q
175
.
W45